TSTP Solution File: GRA047^1 by DCTP---1.31